--- title: "flexible compression" enableToc: false # do not show a table of contents on this page --- Authored by:: [[P- Brendan Langen]] Compression and contextualizability are both are needed for synthesis. Flexible compression aims to be lossless to ensure context is retained through transclusion. Yet, this is often difficult, because [[C- Compression and contextualizability are in tension]]. When we are viewing something at different levels of abstraction, we are bound to miss certain details. Thus, we ask [[Q- What is an interface for going up and down the ladder of abstraction]]?